Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets
نویسندگان
چکیده
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملSynthesis of Bounded Choice-Free Petri Nets
This paper describes a synthesis algorithm tailored to the construction of choice-free Petri nets from finite persistent transition systems. With this goal in mind, a minimised set of simplified systems of linear inequalities is distilled from a general region-theoretic approach, leading to algorithmic improvements as well as to a partial characterisation of the class of persistent transition s...
متن کاملFree-choice Petri Nets an Algebraic Approach
In this paper, we give evolution equations for free choice Petri net which generalize the max; +]-algebraic setting already known for event graphs. These evolution equations can be seen as a coupling of two linear systems, a (min; +)-linear system, and a quasi (+;)-linear one. This leads to new methods and algorithms to: In the untimed case: check liveness and several other basic logical proper...
متن کاملOn State Estimation of Timed Choice-Free Petri Nets
In this paper, we present an online algorithm for state estimation of timed choicefree Petri nets. We assume that the net structure and initial marking are known, and that the set of transitions is divided in observable and unobservable one. Given an observed word and assuming that the time durations associated to the unobservable transitions are unknown, our problem is to estimate the possible...
متن کاملPetri Nets as Models of Linear Logic
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2932260